2 results for Christoph Weidenbach
-
Anchor for 1 page of results
-
Automation of Logic
Hardback
Published 31 Dec 2023 -
Programming Logics
Paperback
Published 09 Apr 2013